A note on k-cyclic modal pseudocomplemented De Morgan algebras
نویسندگان
چکیده
Symmetric and k-cyclic structure of modal pseudocomplemented De Morgan algebras was introduced previously. In this paper, we first present the construction epimorphisms between finite symmetric (or 2-cyclic) algebras. Furthermore, compute cardinality set all epimorphism structures. Secondly, free on variety display how our computations are in fact generalizations to others literature. Our work is strongly based properties automorphisms that finitely generated.
منابع مشابه
A Characterization of De Morgan Algebras
In this note we show that every de Morgan algebra is isomorphic to a two-subset algebra, 〈P,⊔,⊓,∼, 0P , 1P 〉, where P is a set of pairs (X,Y ) of subsets of a set I, (X,Y )⊔(X , Y ) = (X∩X , Y ∪Y ), (X,Y )⊓(X , Y ) = (X ∪ X , Y ∩ Y ), ∼ (X,Y ) = (Y,X), 1P = (∅, I), and 0P = (I, ∅). This characterization generalizes a previous result that applied only to a special type of de Morgan algebras call...
متن کاملA Note on Classical Modal Relevant Algebras
R. Meyer and E. Mares [10] studied the logic CNR, a classical relevant logic with a modal connective. Such logic is of type S4. As it has been noted in [10], the addition of a modal operator in the language of classical relevant logic and the axioms φ ∧ ψ → (φ ∧ ψ) and (φ ∧ ψ) → ( φ ∧ ψ) do not necessarily produce theorems such that as (φ→ ψ) → φ → ψ or (♦φ→ ψ) → (φ→ ψ). These formulas are well...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملINVOLUTIVE STONE ALGEBRAS AND REGULAR a-DE MORGAN ALGEBRAS
A piggyback duality and a translation process between this one and a Priestley duality for each subvariety of involutive Stone algebras and regular o-De Morgan algebras is presented. As a consequence we describe free algebras and the prime spectrum of each subvariety.
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2023
ISSN: ['1433-7479', '1432-7643']
DOI: https://doi.org/10.1007/s00500-023-07911-9